Use VFPv3-D16 FPU for ARM builds
authorJani Monoses <jani@ubuntu.com>
Sat, 24 Jan 2026 12:41:42 +0000 (14:41 +0200)
committerIlias Tsitsimpis <iliastsi@debian.org>
Sat, 24 Jan 2026 12:41:42 +0000 (14:41 +0200)
commit3b96e7cefdabb8657ed4e2fd91f44903a44f77e6
treecbc9eb08446553146c52cb1231f4da7ac99de00c
parenta7693aaaa8f078d22c9bd6746c577148acd9d59d
Use VFPv3-D16 FPU for ARM builds

Upstream-Bug: https://ghc.haskell.org/trac/ghc/ticket/5914

Jani writes: The D16 part was Debian/Ubuntu specific, IIRC we define hardfloat
in that particular variant (16 double registers) or we had a different naming
for some reason.

Gbp-Pq: Name ARM-VFPv3D16
m4/get_arm_isa.m4